Modelling and Performance Evaluation with TimeNET 4.4
نویسنده
چکیده
The paper presents the current status of the software tool TimeNET. It supports modeling and performance evaluation of stochastic models, including extended deterministic and stochastic Petri nets, colored stochastic Petri nets, and Markov chains as well as UML extensions. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including non-exponentially distributed delays, as well as a simulation module for complex colored models. Recent enhancements include algorithms for the efficient rare-event simulation of Petri nets, a new multi-trajectory hybrid simulation/analysis algorithm, and a net class for Markov chains.
منابع مشابه
Using TimeNET to Evaluate Operational Planning Processes
In this paper we bridge the gap between performance evaluation and the modelling of business processes. On the basis of a case study from the field of operational planning processes we investigate the performance evaluation of human resource management processes. In particular we consider the affect of timing in operational planning processes. We use TimeNET for modelling. It provides methods n...
متن کاملTimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets
This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed at the Technische Universität Berlin in several research projects. A graphical user interface is provided for the model specification and several specialized analysis and simulation compo...
متن کاملTimeNet: Pre-trained deep recurrent neural network for time series classification
In the spirit of the tremendous success of deep Convolutional Neural Networks as generic feature extractors from images, we propose Timenet : a multilayered recurrent neural network (RNN) trained in an unsupervised manner to extract features from time series. Fixed-dimensional vector representations or embeddings of variable-length sentences have been shown to be useful for a variety of documen...
متن کاملModelling a Single Gsm/gprs Cell with Delay Tolerant Voice Calls Using Mosel-2
In this paper we introduce the new version of the MOdelling, Specification and Evaluation Language – now called MOSEL-2 – and prove its applicability for performance modelling of mobile networks with nonMarkovian models. Like its predecessor MOSEL [Al-Begain et al, 2001], MOSEL-2 was developed at the Institute for Operating Systems at the University of Erlangen-Nürnberg. In contrast to many spe...
متن کاملModeling and Performance Evaluation of Work ow Systems
There is a need for modeling and performance evaluation techniques and tools for a fast and reliable design of workkow systems. This paper introduces a modeling methodology based on colored stochastic Petri nets. It allows the integration of functional, organizational, and timing aspects in one modeling framework. The processing delays include stochastic distributions in addition to determinist...
متن کامل